CSE 2231 Glossary

Abstract Transition

For any variable's state before a method call, describes where it might end up according to the method's contract. Represented by the horizontal arrow between the Abstract State Spaces of the commutative diagram.